$\forall$$g$:GrpSig\{i\}. NormSubGrp\{i\}($g$) $\in$ Type\{i'\}